1. Rewriting techniques and applications :
Author: Harald Ganzinger (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification
Classification :
QA267
.
R48
1996
2. Term rewriting and applications : 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005 : proceedings
Author: Jurgen Giesl )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming
Classification :
QA
76
.
L28
Vol
.
3467
